results for Transparent Intensional Logic